/*
 *	micro T-Kernel function code (Debugger Support)
 */

#ifndef _TDFNCD_H_
#define _TDFNCD_H_

#if INT_BITWIDTH == 32
/*
 *	micro T-Kernel function code (Debugger Support)
 */
#define TDFN_LST_TSK		0x80010200
#define TDFN_LST_SEM		0x80020200
#define TDFN_LST_FLG		0x80030200
#define TDFN_LST_MBX		0x80040200
#define TDFN_LST_MTX		0x80050200
#define TDFN_LST_MBF		0x80060200
#define TDFN_LST_POR		0x80070200
#define TDFN_LST_MPF		0x80080200
#define TDFN_LST_MPL		0x80090200
#define TDFN_LST_CYC		0x800a0200
#define TDFN_LST_ALM		0x800b0200
#define TDFN_REF_SEM		0x800c0200
#define TDFN_REF_FLG		0x800d0200
#define TDFN_REF_MBX		0x800e0200
#define TDFN_REF_MTX		0x800f0200
#define TDFN_REF_MBF		0x80100200
#define TDFN_REF_POR		0x80110200
#define TDFN_REF_MPF		0x80120200
#define TDFN_REF_MPL		0x80130200
#define TDFN_REF_CYC		0x80140200
#define TDFN_REF_ALM		0x80150200
#define TDFN_REF_TSK		0x80160200
#define TDFN_INF_TSK		0x80170300
#define TDFN_GET_REG		0x80180400
#define TDFN_SET_REG		0x80190400
#define TDFN_REF_SYS		0x801a0100
#define TDFN_GET_TIM		0x801b0200
#define TDFN_GET_OTM		0x801c0200
#define TDFN_RDY_QUE		0x801d0300
#define TDFN_SEM_QUE		0x801e0300
#define TDFN_FLG_QUE		0x801f0300
#define TDFN_MBX_QUE		0x80200300
#define TDFN_MTX_QUE		0x80210300
#define TDFN_SMBF_QUE		0x80220300
#define TDFN_RMBF_QUE		0x80230300
#define TDFN_CAL_QUE		0x80240300
#define TDFN_ACP_QUE		0x80250300
#define TDFN_MPF_QUE		0x80260300
#define TDFN_MPL_QUE		0x80270300
#define TDFN_HOK_SVC		0x80280100
#define TDFN_HOK_DSP		0x80290100
#define TDFN_HOK_INT		0x802a0100
#define TDFN_REF_DSNAME		0x802b0300
#define TDFN_SET_DSNAME		0x802c0300
#endif

#endif /* _TDFNCD_H_ */
